contract c {
  uint external x;
}